Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
211	binpac: A yacc for Writing Application Protocol Parsers Ruoming Pang∗ Vern Paxson Google, Inc. Add to Reading List Source URL: www.icsi.berkeley.edu Language: English - Date: 2007-01-10 14:29:54 Data transmission Internet protocols Internet standards OSI protocols Computer networking Communications protocol Abstract Syntax Notation One UTF-8 Parsing Computing Data Information
212	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus
213	Internet Management Protocols - Structure of Management Information (SMI) Add to Reading List Source URL: www.simpleweb.org Language: English - Date: 2009-11-30 16:02:40 Software engineering Structure of Management Information Simple Network Management Protocol Management information base Object identifier Object Identifier Constant Abstract Syntax Notation One Network management Computing Information technology management
214	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
215	THE ARGUMENT STATUS OF NPS IN SOUTHEAST PUEBLA NAHUATL: COMMENTS ON THE POLYSYNTHESIS PARAMETER JEFF MACSWAN Arizona State University ABSTRACT. Baker[removed]defines polysynthetic languages as having both Add to Reading List Source URL: www.terpconnect.umd.edu Language: English - Date: 2008-01-20 21:46:11 Indigenous languages of the Americas Mesoamerican languages Uto-Aztecan languages Linguistic typology Polysynthetic languages Nahuatl Synthetic language Incorporation Word order Linguistics Syntax Agglutinative languages
216	Running Ometa Parsers Backwards for Source to Source Translation Ted Kaehler and Alessandro Warth VPRI Memo M[removed] Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:16:15 Computing Parsing Compiler construction Compiler-compiler Smalltalk Syntax Abstract syntax tree LALR parser Recursive descent parser Software engineering Formal languages Computer programming
217	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
218	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
219	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
220	Internet Management Protocols - Structure of Management Information - next generation (SMIng) Add to Reading List Source URL: www.simpleweb.org Language: English - Date: 2009-11-30 16:05:02 Network management Internet Information technology management Directory services CORBA Simple Network Management Protocol Lightweight Directory Access Protocol Common Object Request Broker Architecture Abstract Syntax Notation One Computing Internet protocols Internet standards

UPDATE